Deriving event-based transition systems from goal-oriented requirements models
نویسندگان
چکیده
منابع مشابه
Deriving Architectural Descriptions from Goal-Oriented Requirements Models
The problem of building an architecture that satisfies the software requirements is obviously central to software engineering. By and large such building is an ad hoc, largely informal, and unsystematic process to date. One strand of research to address this challenge is based on architecture derivation from goaloriented requirements models. This paper builds on previous efforts in this directi...
متن کاملFrom Goal-Oriented Requirements to Event-B Specifications
In goal-oriented requirements engineering methodologies, goals are structured into refinement trees from high-level system-wide goals down to fine-grained requirements assigned to specific software/hardware/human agents that can realise them. Functional goals assigned to software agents need to be operationalised into specification of services that the agent should provide to realise those requ...
متن کاملGoal-Oriented Requirements Engineering
We review some of the history of Software Engineering since 1968 and discuss some the underlying concepts of Structured and ObjectOriented Software Development, noting that they don't offer means of capturing and analyzing design spaces for the software-to-be. We then introduce Goal-Oriented Requirements Engineering concepts adopted from the KAOS and i* modelling frameworks, noting key ideas. W...
متن کاملDeriving Information Requirements from Responsibility Models
This paper describes research in understanding the requirements for complex information systems that are constructed from one or more generic COTS systems. We argue that, in these cases, behavioural requirements are largely defined by the underlying system and that the goal of the requirements engineering process is to understand the information requirements of system stakeholders. We discuss t...
متن کاملDeriving Non-zeno Behavior Models from Goal Models Using ILP
This paper addresses the problem of automated derivation of non-zeno behaviour models from goal models. The approach uses a novel combination of model checking and machine learning. We first translate a goal model formalised in linear temporal logic into a (potentially zeno) labelled transition system. We then iteratively identify zeno traces in the model and learn operational requirements in t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Automated Software Engineering
سال: 2008
ISSN: 0928-8910,1573-7535
DOI: 10.1007/s10515-008-0027-7